La complessità di Gödel / Cristian Calude ... [et al.] ; a cura di Gabriele Lolli e Ugo Pagallo |
Torino : G. Giappichelli, c2008. |
Calude, Cristian, 1952- |
The first example of a recursive function which is not primitive recursive / by Cristian Calude and Solomon Marcus and Ionel Tevy |
In: Historia mathematica Vol. 6 (1979), p. 380-384 |
Calude, Cristian, 1952- |
Incompletezza, complessità, casualità e oltre / Cristian S. Calude |
In: Complessità di Gödel. p. 7-29 |